@import "../theme/light";

@title-height: 22px;
@server-panel-width: 200px;
@file-panel-width: 280px;
@menu-height: 28px;

@border-default: @border-width-base @border-style-base @border-color-base;
